Koha online

1.
Non-standard analysis

by Robinson, Abraham.

Edition: Rev. ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 1996Availability: Items available for loan: [Call number: 515.1 ROB] (1).
Place hold
2.
Birth of model theory : Lowenheim's theorem in the frame of the theory of relatives

by Badesa, Calixto.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Princeton University Press, 2004Availability: Items available for loan: [Call number: 511.8 BAD] (1).
Place hold
3.
Classical mathematical logic: the semantic foundations of logic .

by Epstein, Richard L | Szczerba, Leslaw W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2006Availability: Items available for loan: [Call number: 511.3 EPS] (1).
Place hold
4.
Mathematics and plausible reasoning

by Polya, George.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New Jersey: Princeton University Press, 1990Availability: Items available for loan: [Call number: 510 POL] (1).
Place hold
5.
Alan Turing's systems of logic : the Princeton thesis

by Appel, Andrew W.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2012Availability: Items available for loan: [Call number: 511.3 APP] (1).
Place hold
6.
Three views of logic : mathematics, philosophy, and computer science

by Loveland, Donald W | Hodel, Richard E | Sterrett, S. G.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Princeton: Princeton University Press, 2014Availability: Items available for loan: [Call number: 511.3 LOV] (1).
Place hold

Powered by Koha